IMPLICATION (logique)

IMPLICATION (logique)
IMPLICATION (logique)

IMPLICATION, logique

Comme tout concept exact, l’implication prend sens dans une théorie, ici la théorie des fonctions de vérité, et elle est solidaire des autres notions de cette théorie: notions de proposition et de valeur de vérité. L’implication s’exprime par la définition du foncteur conditionnel; la notation pq , ou pq , se lit: «p implique q » ou «si p alors q ». La vérité ou la fausseté de la proposition complexe exprimée par l’énoncé conditionnel ne dépend pas des affinités sémantiques entre les propositions élémentaires (notions intuitives et obscures de dépendance, de causalité), mais seulement des valeurs de vérité des propositions: le foncteur conditionnel est un foncteur de vérité. Sa définition se fait par les conditions de vérité de la proposition complexe: l’implication pq est fausse si p est vrai et q faux; elle est vraie dans tous les autres cas. D’où les lois paradoxales de cette implication (que l’on appelle implication matérielle ): du faux suit n’importe quoi; une proposition vraie est impliquée par n’importe quelle proposition. D’où aussi les objections de C. I. Lewis, formulées en 1932, qui l’amènent à introduire, avec les notions modales de nécessité et de possibilité, l’implication stricte , à la fois plus conforme à l’idée intuitive d’implication et, estimait-il, plus fidèle à son usage dans le raisonnement mathématique. On lui a reproché d’incorporer directement les notions modales et les suggestions du sens commun à la théorie. (Noter que l’usage de l’implication formelle est réservé à la logique des prédicats.)

Encyclopédie Universelle. 2012.

Игры ⚽ Нужно решить контрольную?

Regardez d'autres dictionnaires:

  • Implication logique — Implication (logique) Pour les articles homonymes, voir Implication. En logique classique, l expression « une proposition P implique logiquement une proposition Q » signifie « la proposition ¬P ∨ Q est vraie ». Formellement… …   Wikipédia en Français

  • Implication (logique) —  Pour l’article homonyme, voir Implication sociale.  En logique classique, l expression « une proposition P implique logiquement une proposition Q » signifie « la proposition ¬P ∨ Q est vraie ». Formellement cela s… …   Wikipédia en Français

  • Implication (mathématiques) — Implication (logique) Pour les articles homonymes, voir Implication. En logique classique, l expression « une proposition P implique logiquement une proposition Q » signifie « la proposition ¬P ∨ Q est vraie ». Formellement… …   Wikipédia en Français

  • logique — 1. logique [ lɔʒik ] n. f. • XIIIe; lat. logica, gr. logikê, de logos « raison » I ♦ 1 ♦ Science ayant pour objet l étude, surtout formelle, des normes de la vérité; « analyse formelle de la connaissance » (Piaget). Logique formelle, logique pure …   Encyclopédie Universelle

  • Implication réciproque —  Ne pas confondre avec la notion d application réciproque ni avec la notion de contraposée. * implication : « S il y a du feu alors il y a de la fumée. » réciproque : « S il y a de la fumée alors il y a du… …   Wikipédia en Français

  • Logique Intuitionniste — L intuitionnisme est une position philosophique vis à vis des mathématiques proposée par le mathématicien hollandais Luitzen Egbertus Jan Brouwer comme une alternative à l approche dite classique. Elle a été ensuite formalisée, sous le nom de… …   Wikipédia en Français

  • LOGIQUE (HISTOIRE DE LA) — Ce n’est qu’à une époque relativement récente qu’on a vraiment commencé à s’intéresser à l’histoire de la logique. Jusqu’au milieu du XIXe siècle régnait en effet l’idée que la logique n’avait pas d’histoire, étant, pour l’essentiel, sortie… …   Encyclopédie Universelle

  • Logique (mathématiques) — Logique mathématique La logique mathématique est née à la fin du XIXe siècle de la logique au sens philosophique du terme. Ses débuts furent marqués par la rencontre entre deux idées nouvelles : la volonté chez Frege, Russell, Peano et… …   Wikipédia en Français

  • Logique Mathématique — La logique mathématique est née à la fin du XIXe siècle de la logique au sens philosophique du terme. Ses débuts furent marqués par la rencontre entre deux idées nouvelles : la volonté chez Frege, Russell, Peano et Hilbert de donner une …   Wikipédia en Français

  • Logique mathematique — Logique mathématique La logique mathématique est née à la fin du XIXe siècle de la logique au sens philosophique du terme. Ses débuts furent marqués par la rencontre entre deux idées nouvelles : la volonté chez Frege, Russell, Peano et… …   Wikipédia en Français

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”